11

Relational proof systems for spatial reasoning ★

Year:
2006
Language:
english
File:
PDF, 196 KB
english, 2006
14

Number of Extensions of Non-Fregean Logics

Year:
2005
Language:
english
File:
PDF, 1.26 MB
english, 2005
16

Calculation and optimization of LaBr3–MBr (Li–Cs) phase diagrams by CALPHAD method

Year:
2014
Language:
english
File:
PDF, 1.15 MB
english, 2014
19

A hybrid qualitative approach for relative movements

Year:
2015
Language:
english
File:
PDF, 237 KB
english, 2015
23

Number of Extensions of Non-Fregean Logics

Year:
2005
Language:
english
File:
PDF, 240 KB
english, 2005
25

Tableaux and Dual Tableaux: Transformation of Proofs

Year:
2007
Language:
english
File:
PDF, 295 KB
english, 2007
28

Application of a liquid oxygen carrier in plant cell suspension cultures

Year:
2007
Language:
english
File:
PDF, 74 KB
english, 2007
29

Relational dual tableau decision procedure for modal logic K

Year:
2012
Language:
english
File:
PDF, 128 KB
english, 2012
35

Dual tableau for monoidal triangular norm logic MTL

Year:
2011
Language:
english
File:
PDF, 546 KB
english, 2011